Symbolic system - PDFSEARCH.IO - Document Search Engine

Symbolic system
Results: 148

#	Item
21	Three Research positions (engineer or postdoc) in the ANR HPAC project: Grenoble, Lyon and Paris, France Title: High-performance Algebraic Computing Keywords: parallel computing, computer algebra, linear algebra, C/C++ p Add to Reading List Source URL: hpac.gforge.inria.fr Language: English - Date: 2014-02-10 04:29:24 Software Application software Mathematical software Computer algebra International Symposium on Symbolic and Algebraic Computation SageMath Algebra Symbolic computation Computer algebra system Wolfram Mathematica Parallel computing
22	J. Symbolic Computation, 1–000 Computing Zero-Dimensional Schemes † Add to Reading List Source URL: www.symbcomp.fim.uni-passau.de Language: English - Date: 2014-10-23 06:40:13 Algebra Mathematics Linear algebra Group theory Vector space Vectors Algebra over a field Linear map Polar coordinate system Normal distribution
23	Protecting Applications Against TOCTTOU Races by User-Space Caching of File Metadata Mathias Payer Thomas R. Gross Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 File system Time of check to time of use File descriptor Inode Symbolic link File locking Computer file Open Library Lustre NTFS
24	Transformation-Aware Symbolic Execution for System Test Generation Stephen McCamant Mathias Payer Dan Caselden Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software engineering Computer programming Programming language theory Abstract interpretation Symbolic execution Program analysis KeY Disassembler Pattern matching Forth Symbolic Concolic testing
25	Transformation-Aware Symbolic Execution for System Test Generation Stephen McCamant Mathias Payer Dan Caselden Add to Reading List Source URL: www.nebelwelt.net Language: English - Date: 2016-04-13 09:07:44
26	SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems Tom Ridge1 David Sheets2 Thomas Tuerk3 Andrea Giugliano1 Anil Madhavapeddy2 Peter Sewell2 1 University of Leicester 2 Universi Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2015-10-06 13:24:19 Computing Software System software Application programming interfaces Rename Symbolic link POSIX File system permissions Hard link File locking File system Tar
27	THE AUTOMORPHISM GROUP OF A MINIMAL SHIFT OF STRETCHED EXPONENTIAL GROWTH VAN CYR AND BRYNA KRA Abstract. The group of automorphisms of a symbolic dynamical system is countable, but often very large. For example, for a m Add to Reading List Source URL: www.math.northwestern.edu Language: English - Date: 2015-09-28 16:27:35
28	THE AUTOMORPHISM GROUP OF A MINIMAL SHIFT OF STRETCHED EXPONENTIAL GROWTH VAN CYR AND BRYNA KRA Abstract. The group of automorphisms of a symbolic dynamical system is countable, but often very large. For example, for a m Add to Reading List Source URL: www.facstaff.bucknell.edu Language: English - Date: 2015-09-28 16:22:23
29	J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2008-01-31 05:33:25 Algebra Mathematics Abstract algebra Universal algebra Mathematical structures Mathematical logic Algebraic structures Magma Sigma-algebra Structure F-algebra Model theory
30	J. Symbolic Computation, 97–112 doi:jscoAvailable online at http://www.idealibrary.com on Class Number Relations from a Computational Point of View Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2008-01-31 05:33:57 Algebra Abstract algebra Group theory Mathematics Index of a subgroup Regular icosahedron Conjugacy class Group action Algebraic number field Coset Splitting of prime ideals in Galois extensions Polar coordinate system

UPDATE